<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 3.2//EN">
<!--
PERMUTE_ARGS: -d -dw
TEST_OUTPUT:
---
Error: unrecognized file extension html
---
-->
<html>
	<head><title>dstress: html_tag_space_01</title></head>
	<body><pre>< CODE >
int main(){
	return 0;
}
</ CODE ></pre>
	</body>
</html>
